true != false of type Bool
when checking the definition of decideEq
